#ifndef _PGTRANS_H_
#define _PGTRANS_H_
int init_pg();

void enable_pg();
void disable_pg();
void set_page_dir(unsigned long);

void restore_pg();

#endif
